xen/arm: p2m: Move the vttbr field from arch_domain to p2m_domain
authorJulien Grall <julien.grall@arm.com>
Thu, 28 Jul 2016 14:20:14 +0000 (15:20 +0100)
committerStefano Stabellini <sstabellini@kernel.org>
Fri, 29 Jul 2016 00:42:08 +0000 (17:42 -0700)
commit46ac5642794f38bcdf9a1892b439776261706dd7
treea14ab3f845479805f9a6ac3b52750195e388779e
parent9c86dbaadf0547fa74db5b9afe2aeea3780766f6
xen/arm: p2m: Move the vttbr field from arch_domain to p2m_domain

The field vttbr holds the base address of the translation table for
guest. Its value will depends on how the p2m has been initialized and
will only be used by the P2M code.

So move the field from arch_domain to p2m_domain. This will also ease
the implementation of altp2m.

Signed-off-by: Julien Grall <julien.grall@arm.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
xen/arch/arm/p2m.c
xen/arch/arm/traps.c
xen/include/asm-arm/domain.h
xen/include/asm-arm/p2m.h